1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34P/3PDRTTS |
Repositório | sid.inpe.br/mtc-m21b/2017/08.09.17.37 |
Última Atualização | 2020:06.09.18.58.30 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/08.09.17.37.20 |
Última Atualização dos Metadados | 2022:07.08.21.15.29 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Chave de Citação | MoraesVija:2017:InCaMa |
Título | Investigação de cadeias de markov para testes de software |
Ano | 2017 |
Data de Acesso | 09 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 196 KiB |
|
2. Contextualização | |
Autor | 1 Moraes, Eduardo Ribeiro 2 Vijaykumar, Nandamudi Lankalapalli |
Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JHTU |
Grupo | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR |
Afiliação | 1 Universidade Federal de Itajubá (UNIFEI) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 eduardo.rmoraes@outlook.com 2 vijay.nl@inpe.br |
Nome do Evento | Seminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE) |
Localização do Evento | São José dos Campos, SP |
Data | 25-26 jul. |
Histórico (UTC) | 2017-08-09 17:37:49 :: simone -> administrator :: 2017 2017-08-13 08:25:31 :: administrator -> simone :: 2017 2017-08-24 17:17:52 :: simone -> administrator :: 2017 2018-06-04 02:27:39 :: administrator -> simone :: 2017 2020-06-09 18:58:30 :: simone -> administrator :: 2017 2022-07-08 21:15:29 :: administrator -> simone :: 2017 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Resumo | Este trabalho, iniciado em agosto de 2016, tem como objetivo a continuidade aos projetos de Iniciação Cientifica para melhorias em Testes de Software. A iniciação científica descrita neste resumo aborda o uso de Cadeias de Markov, que são muito utilizadas para avaliar desempenho de sistemas, para priorizar sequências de teste. Os testes de software podem ser de caixa branca (dependem do código implementado) ou de caixa preta (não necessitam do código implementado). O foco será testes caixa preta. Neste caso, os testes são gerados a partir de modelagem da especificação de software sem ter a necessidade de se ter o código. O que ocorre é que os testes são gerados bem antes da implementação de software e quando o software estiver pronto, os testes gerados a partir da especificação são exercitados na implementação para conferir se a implementação está de conformidade com a especificação. Por este motivo, testes caixa preta também são conhecidos como testes de conformidade. No entanto, dependendo de como os testes são gerados, poderão haver centenas de milhares de casos de testes se a especificação for algo complexo. Então há uma necessidade de priorizar estes casos sem perder a sua qualidade, ou seja, de alguma forma, deve haver uma garantia que o software está validado. Para priorizar os casos de teste a ideia deste trabalho é explorar Cadeias de Markov. A especificação é modelada como uma Cadeia de Markov e a partir da qual se obtêm probabilidades limite que se referem à quantidade de tempo que o estado ficou ativo. Então, as probabilidades limite poderão dar uma visão ao testador sobre quais funções (estados) deverão ser testados com certa prioridade. Os resultados serão testados para especificações geradas aleatoriamente e depois serão testados em aplicações reais, em particular, aplicações espaciais de software embarcado em satélites e/ou em outras missões. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Investigação de cadeias... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Investigação de cadeias... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34P/3PDRTTS |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34P/3PDRTTS |
Idioma | pt |
Arquivo Alvo | Moraes_investigacao.pdf |
Grupo de Usuários | simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8LM |
Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.14.56.50 3 |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Notas | Bolsa PIBIC/INPE/CNPq |
Campos Vazios | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark mirrorrepository nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|